On Model Checking the Dynamics of Object - Based Software : a Foundational Approach
نویسندگان
چکیده
ion abstractionconcretizationionconcretization
منابع مشابه
DINO DISTEFANO On model checking the dynamics of object - based software a foundational approach
ion abstractionconcretizationionconcretization
متن کاملManipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach
Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملOperation of Multiple Reservoirs by utilization of Simulation Method for Analysis of System Dynamics
In this paper the operation of multiple reservoirs by the utilization of analysis method of the system dynamics is considering and this analysis method is based on the feedback and object oriented events. The goal of this research is presentation of a new method by utilization of system dynamicity technique for simulation of the reservoir. This software is a product of Ventana Company and the e...
متن کامل